chapter 9 theorem 9.1.1